On the power of inductive inference from good examplesFREIVALDS, R; KINBER, E. B; WIEHAGEN, R et al.Theoretical computer science. 1993, Vol 110, Num 1, pp 131-144, issn 0304-3975Article

Experiments and comparison of inference methods of regular grammars = Expériences et comparaison des méthodes d'inférence de grammaires régulièresGRÖNFORS, T; JUHOLA, M.IEEE transactions on systems, man, and cybernetics. 1992, Vol 22, Num 4, pp 821-826, issn 0018-9472Article

On the extension of the compositional rule of inferenceRUAN, D; KERRE, E. E.International journal of intelligent systems. 1993, Vol 8, Num 7, pp 807-817, issn 0884-8173Article

Generalized rewrite theoriesBRUNI, Roberto; MESEGUER, José.Lecture notes in computer science. 2003, pp 252-266, issn 0302-9743, isbn 3-540-40493-7, 15 p.Conference Paper

A theory of conditional information for probabilistic inference in intelligent systems. II: Product space approachGOODMAN, I. R.Information sciences. 1994, Vol 76, Num 1-2, pp 13-42, issn 0020-0255Article

Design and implementation of a database inference controllerTHURAISINGHAM, B; FORD, W; COLLINS, M et al.Data & knowledge engineering. 1993, Vol 11, Num 3, pp 271-297, issn 0169-023XArticle

Logical debuggingDERSHOWITZ, N; YUH-JENG LEE.Journal of symbolic computation. 1993, Vol 15, Num 5-6, pp 745-773, issn 0747-7171Article

Knowledge-Closure and Inferential KnowledgeMELCHIOR, Guido.Croatian journal of philosophy. 2010, Vol 10, Num 30, pp 259-285, issn 1333-1108, 27 p.Article

Studying implicit messages : A different approachHURVITZ, Sharon; SCHLESINGER, Izchak M.Journal of pragmatics. 2009, Vol 41, Num 4, pp 738-752, issn 0378-2166, 15 p.Article

The satisfiability problem for a class consisting of horn sentences and some non-horn sentences in proportional logicYAMASAKI, S; DOSHITA, S.Information and control. 1983, Vol 59, Num 1-3, pp 1-12, issn 0019-9958Article

Automatic case analysis in proof by inductionBouhoula, Adel; Rusinowitch, Michaël.1994, 8 p.Report

A parallel processor for fuzzy inference in situational expert systemsBERSHTEYN, L. S; KAZûEYEV, V. M; KOROVIN, S. YA et al.Soviet journal of computer and systems sciences. 1991, Vol 29, Num 4, pp 89-97, issn 0882-4002Article

On the relationship between diagram synthesis and gramamtical inferenceMÄKINEN, E.International journal of computer mathematics. 1994, Vol 52, Num 3-4, pp 129-137, issn 0020-7160Article

Inductive inference of contex-free languages based on context-free expressionsYOKOMORI, T.International journal of computer mathematics. 1988, Vol 24, Num 2, pp 115-140, issn 0020-7160Article

On arbitrary selection strategies for basic superpositionALEKSIC, Vladimir; DEGTYAREV, Anatoli.Lecture notes in computer science. 2006, pp 20-28, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 9 p.Conference Paper

The generic viewpoint assumption and Bayesian inferenceALBERT, M. K.Perception (London. Print). 2000, Vol 29, Num 5, pp 601-608, issn 0301-0066Article

On generalized modus ponens with multiple rules and a residuated implicationMORSI, Nehad N; FAHMY, Aly A.Fuzzy sets and systems. 2002, Vol 129, Num 2, pp 267-274, issn 0165-0114Article

The Impact of Disablers on Predictive InferenceCUMMINS, Denise Dellarosa.Journal of experimental psychology. Learning, memory, and cognition. 2014, Vol 40, Num 6, pp 1638-1655, issn 0278-7393, 18 p.Article

Inference scheme for order-sorted logic using noun phrases with variables as sortsKITANO, Masaki; NISHITA, Seikoh; ISHIKAWA, Tsutomu et al.Lecture notes in computer science. 2006, pp 49-58, issn 0302-9743, isbn 3-540-49026-4, 1Vol, 10 p.Conference Paper

One-sided error probabilistic inductive inference and reliable frequency identificationKINBER, E; ZEUGMANN, T.Information and computation (Print). 1991, Vol 92, Num 2, pp 253-284, issn 0890-5401, 32 p.Article

Fast and accurate inference of local ancestry in Latino populationsBARAN, Yael; PASANIUC, Bogdan; RODRIGUEZ-SANTANA, Jose et al.Bioinformatics (Oxford. Print). 2012, Vol 28, Num 10, pp 1359-1367, issn 1367-4803, 9 p.Article

Infernal 1.0 : inference of RNA alignmentsNAWROCKI, Eric P; KOLBE, Diana L; EDDY, Sean R et al.Bioinformatics (Oxford. Print). 2009, Vol 25, Num 10, pp 1335-1337, issn 1367-4803, 3 p.Article

When Probabilistic Support is InductiveMURA, A.Philosophy of science (East Lansing). 1990, Vol 57, Num 2, pp 278-289, issn 0031-8248Article

BINOCh: binding inference from nucleosome occupancy changesMEYER, Clifford A; HE, Housheng H; BROWN, Myles et al.Bioinformatics (Oxford. Print). 2011, Vol 27, Num 13, pp 1867-1868, issn 1367-4803, 2 p.Article

Heuristic classificationCLANCEY, W. J; NEWELL, A.Artificial intelligence. 1985, Vol 27, Num 3, pp 289-350, issn 0004-3702Article